[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286 }

B grade: { 197 }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 37, 38, 39, 40, 41, 45, 46, 47, 48, 49, 50, 51, 52, 53, 55, 56, 57, 58, 59, 60, 63, 64, 65, 66, 67, 71, 72, 73, 74, 79, 80, 81, 82, 86, 87, 88, 89, 93, 94, 95, 96, 100, 101, 102, 103, 108, 109, 111, 112, 113, 114, 115, 116, 119, 120, 121, 122, 123, 124, 125, 130, 131, 132, 141, 146, 147, 152, 153, 168, 169, 170, 173, 175, 178, 179, 182, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 200, 201, 202, 203, 209, 217, 218, 221, 226, 227, 229, 230, 234, 235, 236, 237, 238, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 254, 255, 256, 257, 259, 260, 261, 262, 263, 264, 266, 267, 268, 271, 276, 279, 281, 282, 283, 286 }

B grade: { 1, 2, 3, 15, 27, 28, 34, 35, 36, 42, 43, 44, 54, 61, 62, 107, 126, 171, 172, 180, 181, 195, 196, 204, 210, 211, 212, 213, 219, 220, 225, 228, 252, 253, 258, 273, 275, 285 }

C grade: { 68, 69, 70, 75, 76, 77, 78, 83, 84, 85, 90, 91, 92, 97, 98, 99, 104, 105, 106, 110, 117, 118, 127, 128, 129, 133, 134, 135, 136, 137, 138, 139, 140, 142, 143, 144, 145, 148, 149, 150, 158, 162, 163, 164, 165, 174, 176, 183, 197, 198, 199, 205, 206, 207, 208, 214, 215, 216, 222, 223, 224, 231, 232, 233, 239, 240, 265, 269, 270, 272, 277, 280, 284 }

F grade: { 151, 154, 155, 156, 157, 159, 160, 161, 166, 167, 177, 274, 278}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 45, 46, 47, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 66, 67, 68, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 93, 94, 95, 96, 97, 100, 101, 102, 103, 104, 105, 108, 109, 111, 112, 113, 114, 115, 116, 117, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 136, 137, 138, 139, 141, 142, 143, 144, 148, 149, 150, 168, 169, 171, 172, 173, 181, 182, 185, 186, 187, 188, 190, 191, 192, 193, 194, 195, 196, 199, 200, 201, 202, 203, 204, 208, 209, 213, 214, 215, 216, 220, 221, 222, 223, 224, 229, 230, 231, 232, 233, 244, 245, 246, 247, 248, 249, 250, 251, 255, 256, 257, 262, 263, 264, 265, 266, 268, 269, 273, 275, 276, 279, 282, 285, 286 }

B grade: { 69, 70, 77, 78, 91, 92, 98, 99, 106, 107, 110, 118, 128, 129, 130, 135, 140, 145, 146, 147, 170, 178, 179, 180, 183, 184, 189, 197, 198, 205, 206, 207, 210, 211, 212, 217, 218, 219, 225, 226, 227, 228, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 252, 253, 254, 258, 259, 260, 261, 281 }

C grade: { 267, 270, 271, 272, 274, 277, 278, 280, 283, 284 }

F grade: { 38, 48, 60, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 174, 175, 176, 177 }

2.1.4 Maxima

A grade: { 2, 3, 4, 7, 8, 9, 14, 26, 38, 39, 40, 41, 47, 48, 49, 50, 51, 57, 58, 59, 60, 61, 62, 63, 86, 87, 88, 93, 94, 95, 100, 101, 109, 110, 116, 118, 126, 129, 135, 136, 140, 141, 145, 147, 156, 157, 162, 163, 164, 168, 173, 183, 185, 186, 187, 188, 195, 196, 203, 221, 229, 230, 244, 245, 246, 247, 285, 286

B grade: { 1, 5, 6, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 42, 43, 44, 45, 46, 52, 53, 54, 55, 56, 89, 96, 102, 103, 107, 108, 111, 112, 113, 114, 115, 117, 119, 120, 121, 122, 123, 124, 125, 127, 128, 130, 131, 132, 133, 134, 137, 138, 139, 142, 143, 146, 148, 150, 158, 169, 170, 171, 172, 178, 180, 181, 182, 193, 194, 202, 204, 210, 211, 212, 213, 217, 218, 219, 220, 225, 226, 227, 228 }

C grade: { }

F grade: { 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 90, 91, 92, 97, 98, 99, 104, 105, 106, 144, 149, 151, 152, 153, 154, 155, 159, 160, 161, 165, 166, 167, 174, 175, 176, 177, 179, 184, 189, 190, 191, 192, 197, 198, 199, 200, 201, 205, 206, 207, 208, 209, 214, 215, 216, 222, 223, 224, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 70, 71, 72, 73, 75, 76, 77, 78, 79, 80, 81, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 109, 113, 114, 115, 120, 121, 123, 124, 125, 132, 136, 138, 143, 144, 148, 149, 150, 156, 157, 158, 162, 163, 164, 168, 169, 171, 172, 173, 178, 179, 180, 181, 182, 185, 186, 187, 188, 189, 193, 194, 195, 196, 197, 202, 203, 204, 205, 210, 211, 213, 214, 217, 218, 220, 221, 225, 226, 227, 228, 229, 230, 235, 236, 237, 239, 240, 241, 242, 244, 245, 246, 247, 248, 249, 255, 256, 262, 286 }

B grade: { 17, 30, 56, 69, 74, 82, 107, 108, 111, 112, 116, 119, 122, 126, 130, 131, 137, 141, 142, 146, 147, 170, 183, 184, 190, 191, 192, 198, 199, 200, 201, 206, 207, 208, 209, 212, 215, 216, 219, 222, 223, 224, 231, 232, 233, 234, 238, 250, 251, 253, 254, 260, 261, 285 }

C grade: { }

F grade: { 110, 117, 118, 127, 128, 129, 133, 134, 135, 139, 140, 145, 151, 152, 153, 154, 155, 159, 160, 161, 165, 166, 167, 174, 175, 176, 177, 243, 252, 257, 258, 259, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.1.6 Sympy

A grade: { 170 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286 }

2.1.7 Giac

A grade: { 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 80, 81, 82, 84, 85, 86, 87, 88, 89, 91, 92, 93, 94, 95, 96, 98, 99, 100, 101, 102, 105, 106, 133, 134, 135, 139, 140, 145, 168, 169, 170, 171, 172, 173, 196, 199, 203, 204, 208, 213, 214, 215, 216, 220, 221, 226, 227, 229, 230, 248, 249, 255, 261, 262, 285, 286 }

B grade: { 3, 14, 103, 141, 146, 147, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 197, 198, 200, 201, 202, 205, 206, 207, 209, 210, 211, 212, 217, 218, 219, 222, 223, 224, 225, 228, 231, 232, 233, 244, 245, 246, 247, 250, 251, 252, 253, 254, 256, 257, 258, 259, 260, 263 }

C grade: { 68, 75, 83, 90, 97, 104 }

F grade: { 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 136, 137, 138, 142, 143, 144, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 499 130 290 347 0 207
normalized size 1 1. 4.75 1.24 2.76 3.3 0. 1.97
time (sec) N/A 0.195 1.671 0.027 0.977 0.494 0. 1.504
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 887 107 180 302 0 182
normalized size 1 1. 10.31 1.24 2.09 3.51 0. 2.12
time (sec) N/A 0.157 6.46 0.022 0.956 0.486 0. 1.482
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 313 84 146 263 0 158
normalized size 1 1. 5.13 1.38 2.39 4.31 0. 2.59
time (sec) N/A 0.104 0.718 0.022 0.967 0.483 0. 1.55
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 42 92 178 0 80
normalized size 1 1. 1. 1.11 2.42 4.68 0. 2.11
time (sec) N/A 0.05 0.029 0.015 0.951 0.476 0. 1.824
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 77 63 136 174 0 85
normalized size 1 1. 1.83 1.5 3.24 4.14 0. 2.02
time (sec) N/A 0.054 0.067 0.063 0.996 0.472 0. 1.386
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 50 21 131 123 0 28
normalized size 1 1. 1.39 0.58 3.64 3.42 0. 0.78
time (sec) N/A 0.05 0.263 0.07 0.975 0.435 0. 1.322
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 87 37 158 189 0 53
normalized size 1 1. 1.14 0.49 2.08 2.49 0. 0.7
time (sec) N/A 0.098 0.333 0.079 0.991 0.442 0. 1.291
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 113 50 239 258 0 73
normalized size 1 1. 0.97 0.43 2.06 2.22 0. 0.63
time (sec) N/A 0.15 0.393 0.084 1.028 0.446 0. 1.315
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 139 63 266 321 0 93
normalized size 1 1. 0.88 0.4 1.68 2.03 0. 0.59
time (sec) N/A 0.21 0.356 0.093 1.028 0.454 0. 1.227
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 102 192 497 448 0 279
normalized size 1 1. 0.6 1.12 2.91 2.62 0. 1.63
time (sec) N/A 0.274 1.857 0.033 1.021 0.512 0. 1.312
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 91 167 433 404 0 252
normalized size 1 1. 0.61 1.11 2.89 2.69 0. 1.68
time (sec) N/A 0.241 1.333 0.03 0.993 0.507 0. 1.35
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 82 142 306 356 0 225
normalized size 1 1. 0.87 1.51 3.26 3.79 0. 2.39
time (sec) N/A 0.149 0.742 0.026 0.977 0.497 0. 1.268
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 51 75 203 243 0 124
normalized size 1 1. 0.7 1.03 2.78 3.33 0. 1.7
time (sec) N/A 0.108 0.149 0.02 0.967 0.483 0. 1.249
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 45 84 146 263 0 158
normalized size 1 1. 0.74 1.38 2.39 4.31 0. 2.59
time (sec) N/A 0.103 0.102 0.02 1.008 0.481 0. 1.331
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 220 116 304 275 0 142
normalized size 1 1. 2.97 1.57 4.11 3.72 0. 1.92
time (sec) N/A 0.099 1.717 0.063 1.032 0.476 0. 1.311
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 109 91 271 313 0 119
normalized size 1 1. 1.22 1.02 3.04 3.52 0. 1.34
time (sec) N/A 0.128 0.085 0.077 0.984 0.479 0. 1.262
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 25 23 255 196 0 31
normalized size 1 1. 0.66 0.61 6.71 5.16 0. 0.82
time (sec) N/A 0.075 0.116 0.083 0.987 0.44 0. 1.341
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 115 39 365 267 0 58
normalized size 1 1. 1.44 0.49 4.56 3.34 0. 0.72
time (sec) N/A 0.15 0.43 0.097 1.058 0.444 0. 1.338
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 141 52 363 342 0 81
normalized size 1 1. 1.17 0.43 3. 2.83 0. 0.67
time (sec) N/A 0.23 0.421 0.102 1.057 0.456 0. 1.264
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 167 65 525 414 0 104
normalized size 1 1. 1.02 0.4 3.22 2.54 0. 0.64
time (sec) N/A 0.315 0.704 0.115 1.051 0.462 0. 1.324
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 122 242 598 544 0 333
normalized size 1 1. 0.54 1.07 2.63 2.4 0. 1.47
time (sec) N/A 0.335 3.399 0.143 1.008 0.532 0. 1.399
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 111 217 551 489 0 306
normalized size 1 1. 0.54 1.05 2.67 2.37 0. 1.49
time (sec) N/A 0.302 2.345 0.035 1.011 0.522 0. 1.427
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 102 192 497 444 0 279
normalized size 1 1. 0.84 1.59 4.11 3.67 0. 2.31
time (sec) N/A 0.178 1.715 0.029 1.029 0.511 0. 1.376
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 60 100 329 285 0 147
normalized size 1 1. 0.6 1. 3.29 2.85 0. 1.47
time (sec) N/A 0.131 0.248 0.024 0.985 0.496 0. 1.361
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 81 142 306 356 0 225
normalized size 1 1. 0.86 1.51 3.26 3.79 0. 2.39
time (sec) N/A 0.148 0.848 0.027 0.988 0.494 0. 1.357
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 70 107 180 302 0 182
normalized size 1 1. 0.81 1.24 2.09 3.51 0. 2.12
time (sec) N/A 0.156 0.616 0.024 1.012 0.488 0. 1.317
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 287 166 522 320 0 167
normalized size 1 1. 2.87 1.66 5.22 3.2 0. 1.67
time (sec) N/A 0.129 3.04 0.076 1.014 0.484 0. 1.273
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 402 140 471 410 0 165
normalized size 1 1. 3.38 1.18 3.96 3.45 0. 1.39
time (sec) N/A 0.183 3.247 0.078 1.035 0.487 0. 1.324
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 139 113 417 446 0 144
normalized size 1 1. 1.05 0.86 3.16 3.38 0. 1.09
time (sec) N/A 0.214 0.108 0.09 1.029 0.485 0. 1.288
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 25 23 481 261 0 31
normalized size 1 1. 0.66 0.61 12.66 6.87 0. 0.82
time (sec) N/A 0.072 0.152 0.095 1.058 0.449 0. 1.342
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 141 39 482 333 0 58
normalized size 1 1. 1.76 0.49 6.02 4.16 0. 0.72
time (sec) N/A 0.152 0.385 0.113 1.069 0.457 0. 1.252
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 167 52 699 413 0 81
normalized size 1 1. 1.38 0.43 5.78 3.41 0. 0.67
time (sec) N/A 0.23 0.677 0.125 1.093 0.467 0. 1.297
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 193 65 698 486 0 104
normalized size 1 1. 1.19 0.4 4.31 3. 0. 0.64
time (sec) N/A 0.317 0.575 0.135 1.135 0.475 0. 1.353
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 1036 212 798 386 0 188
normalized size 1 1. 8.56 1.75 6.6 3.19 0. 1.55
time (sec) N/A 0.156 6.409 0.086 1.051 0.492 0. 1.322
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 287 164 521 344 0 165
normalized size 1 1. 2.87 1.64 5.21 3.44 0. 1.65
time (sec) N/A 0.13 3.171 0.078 1.016 0.482 0. 1.393
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 220 116 302 301 0 138
normalized size 1 1. 2.97 1.57 4.08 4.07 0. 1.86
time (sec) N/A 0.103 1.58 0.059 0.961 0.479 0. 1.328
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 77 61 136 190 0 82
normalized size 1 1. 1.88 1.49 3.32 4.63 0. 2.
time (sec) N/A 0.053 0.069 0.055 0.954 0.47 0. 1.305
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 0 24 32 0 26
normalized size 1 1. 1. 0. 1.5 2. 0. 1.62
time (sec) N/A 0.089 0.028 180. 0.962 0.434 0. 1.238
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 81 48 104 123 0 80
normalized size 1 1. 1.37 0.81 1.76 2.08 0. 1.36
time (sec) N/A 0.137 0.459 0.049 0.992 0.435 0. 1.241
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 107 61 131 185 0 99
normalized size 1 1. 1.37 0.78 1.68 2.37 0. 1.27
time (sec) N/A 0.179 0.866 0.055 0.984 0.445 0. 1.324
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 145 74 158 255 0 117
normalized size 1 1. 1.21 0.62 1.32 2.12 0. 0.98
time (sec) N/A 0.229 0.878 0.059 1.012 0.452 0. 1.219
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 164 164 380 234 1033 521 0 221
normalized size 1 1. 2.32 1.43 6.3 3.18 0. 1.35
time (sec) N/A 0.247 1.274 0.102 1.049 0.5 0. 1.368
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 349 186 717 487 0 198
normalized size 1 1. 2.33 1.24 4.78 3.25 0. 1.32
time (sec) N/A 0.215 1.947 0.092 1.023 0.494 0. 1.273
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 485 136 460 440 0 171
normalized size 1 1. 4.08 1.14 3.87 3.7 0. 1.44
time (sec) N/A 0.186 4.256 0.074 1.011 0.485 0. 1.383
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 109 89 265 340 0 126
normalized size 1 1. 1.24 1.01 3.01 3.86 0. 1.43
time (sec) N/A 0.131 0.094 0.07 0.995 0.477 0. 1.313
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 23 21 127 126 0 28
normalized size 1 1. 0.64 0.58 3.53 3.5 0. 0.78
time (sec) N/A 0.048 0.088 0.066 0.978 0.437 0. 1.357
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 83 48 103 124 0 97
normalized size 1 1. 1.41 0.81 1.75 2.1 0. 1.64
time (sec) N/A 0.136 0.571 0.048 0.989 0.439 0. 1.229
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 33 0 42 111 0 45
normalized size 1 1. 0.87 0. 1.11 2.92 0. 1.18
time (sec) N/A 0.098 0.05 180. 0.96 0.439 0. 1.231
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 147 76 163 259 0 136
normalized size 1 1. 1.84 0.95 2.04 3.24 0. 1.7
time (sec) N/A 0.146 0.984 0.055 0.984 0.452 0. 1.284
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 179 87 189 290 0 155
normalized size 1 1. 1.83 0.89 1.93 2.96 0. 1.58
time (sec) N/A 0.189 0.916 0.058 1.019 0.458 0. 1.23
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 211 102 217 400 0 174
normalized size 1 1. 1.5 0.72 1.54 2.84 0. 1.23
time (sec) N/A 0.246 1.279 0.066 1.001 0.468 0. 1.34
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 406 256 1262 663 0 250
normalized size 1 1. 1.89 1.19 5.87 3.08 0. 1.16
time (sec) N/A 0.336 2.2 0.123 1.114 0.516 0. 1.331
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 193 193 380 208 918 620 0 225
normalized size 1 1. 1.97 1.08 4.76 3.21 0. 1.17
time (sec) N/A 0.309 1.377 0.103 1.062 0.504 0. 1.354
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 826 160 635 579 0 200
normalized size 1 1. 5.04 0.98 3.87 3.53 0. 1.22
time (sec) N/A 0.275 6.318 0.085 1.041 0.49 0. 1.373
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 139 111 410 479 0 154
normalized size 1 1. 1.06 0.85 3.13 3.66 0. 1.18
time (sec) N/A 0.215 0.119 0.084 1.024 0.486 0. 1.263
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 25 23 250 196 0 31
normalized size 1 1. 0.66 0.61 6.58 5.16 0. 0.82
time (sec) N/A 0.074 0.114 0.082 1.007 0.441 0. 1.36
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 87 37 155 192 0 53
normalized size 1 1. 1.14 0.49 2.04 2.53 0. 0.7
time (sec) N/A 0.099 0.329 0.069 1.007 0.438 0. 1.278
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 109 61 128 186 0 123
normalized size 1 1. 1.4 0.78 1.64 2.38 0. 1.58
time (sec) N/A 0.181 0.773 0.053 0.971 0.444 0. 1.281
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 147 76 162 261 0 146
normalized size 1 1. 1.84 0.95 2.02 3.26 0. 1.82
time (sec) N/A 0.142 0.767 0.055 1.011 0.448 0. 1.286
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 50 0 55 180 0 59
normalized size 1 1. 0.85 0. 0.93 3.05 0. 1.
time (sec) N/A 0.109 0.068 180. 0.96 0.456 0. 1.236
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 211 102 215 394 0 182
normalized size 1 1. 2.13 1.03 2.17 3.98 0. 1.84
time (sec) N/A 0.149 1.259 0.063 0.989 0.478 0. 1.364
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 257 115 244 462 0 203
normalized size 1 1. 2.14 0.96 2.03 3.85 0. 1.69
time (sec) N/A 0.204 1.562 0.065 1.03 0.476 0. 1.407
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 289 128 270 540 0 221
normalized size 1 1. 1.78 0.79 1.67 3.33 0. 1.36
time (sec) N/A 0.26 2.157 0.068 1.017 0.491 0. 1.262
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 86 83 0 298 0 150
normalized size 1 1. 0.53 0.51 0. 1.83 0. 0.92
time (sec) N/A 0.278 0.89 0.186 0. 0.483 0. 2.535
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 76 73 0 259 0 113
normalized size 1 1. 0.62 0.6 0. 2.12 0. 0.93
time (sec) N/A 0.2 0.479 0.18 0. 0.469 0. 1.832
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 64 63 0 205 0 82
normalized size 1 1. 0.79 0.78 0. 2.53 0. 1.01
time (sec) N/A 0.128 0.272 0.171 0. 0.466 0. 1.493
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 51 53 0 158 0 43
normalized size 1 1. 1.31 1.36 0. 4.05 0. 1.1
time (sec) N/A 0.059 0.175 0.221 0. 0.454 0. 1.361
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 132 85 0 686 0 228
normalized size 1 1. 1.71 1.1 0. 8.91 0. 2.96
time (sec) N/A 0.107 0.616 0.239 0. 0.583 0. 1.825
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 246 164 0 864 0 142
normalized size 1 1. 3.24 2.16 0. 11.37 0. 1.87
time (sec) N/A 0.114 1.1 0.199 0. 0.606 0. 1.598
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 309 308 0 1042 0 178
normalized size 1 1. 2.73 2.73 0. 9.22 0. 1.58
time (sec) N/A 0.155 1.209 0.214 0. 0.619 0. 1.886
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 88 85 0 359 0 153
normalized size 1 1. 0.51 0.5 0. 2.1 0. 0.89
time (sec) N/A 0.448 1.595 0.2 0. 0.489 0. 4.106
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 78 75 0 313 0 116
normalized size 1 1. 0.61 0.59 0. 2.45 0. 0.91
time (sec) N/A 0.327 1.192 0.19 0. 0.482 0. 2.652
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 66 65 0 254 0 85
normalized size 1 1. 0.78 0.76 0. 2.99 0. 1.
time (sec) N/A 0.208 0.734 0.187 0. 0.472 0. 1.949
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 55 55 0 200 0 46
normalized size 1 1. 1.34 1.34 0. 4.88 0. 1.12
time (sec) N/A 0.097 0.426 0.253 0. 0.465 0. 1.426
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 123 173 145 0 851 0 267
normalized size 1 1.05 1.48 1.24 0. 7.27 0. 2.28
time (sec) N/A 0.213 0.889 0.25 0. 0.597 0. 1.95
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 124 184 144 0 907 0 234
normalized size 1 1.1 1.63 1.27 0. 8.03 0. 2.07
time (sec) N/A 0.228 1.431 0.218 0. 0.612 0. 1.708
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 117 130 359 230 0 1076 0 181
normalized size 1 1.11 3.07 1.97 0. 9.2 0. 1.55
time (sec) N/A 0.238 2.411 0.227 0. 0.625 0. 2.196
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 398 402 0 1281 0 219
normalized size 1 1. 2.43 2.45 0. 7.81 0. 1.34
time (sec) N/A 0.282 5.692 0.236 0. 0.665 0. 2.728
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 88 85 0 400 0 153
normalized size 1 1. 0.51 0.5 0. 2.34 0. 0.89
time (sec) N/A 0.444 2.59 0.218 0. 0.505 0. 5.747
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 78 75 0 355 0 116
normalized size 1 1. 0.61 0.59 0. 2.77 0. 0.91
time (sec) N/A 0.323 1.542 0.208 0. 0.489 0. 3.544
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 66 65 0 290 0 85
normalized size 1 1. 0.78 0.76 0. 3.41 0. 1.
time (sec) N/A 0.209 1.03 0.199 0. 0.479 0. 2.44
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 55 55 0 231 0 46
normalized size 1 1. 1.34 1.34 0. 5.63 0. 1.12
time (sec) N/A 0.096 0.708 0.248 0. 0.469 0. 1.551
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-1) A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 185 206 0 942 0 308
normalized size 1 1. 1.13 1.26 0. 5.74 0. 1.88
time (sec) N/A 0.325 1.533 0.273 0. 0.617 0. 2.169
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 324 157 0 1067 0 300
normalized size 1 1. 1.93 0.93 0. 6.35 0. 1.79
time (sec) N/A 0.336 2.961 0.232 0. 0.656 0. 1.822
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 263 206 0 1107 0 305
normalized size 1 1. 1.51 1.18 0. 6.36 0. 1.75
time (sec) N/A 0.352 4.587 0.233 0. 0.668 0. 2.47
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 86 83 220 209 0 151
normalized size 1 1. 0.61 0.58 1.55 1.47 0. 1.06
time (sec) N/A 0.234 0.756 0.187 1.568 0.481 0. 2.066
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 74 73 185 176 0 115
normalized size 1 1. 0.69 0.68 1.71 1.63 0. 1.06
time (sec) N/A 0.191 0.43 0.177 1.502 0.469 0. 1.637
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 54 63 149 116 0 86
normalized size 1 1. 0.75 0.88 2.07 1.61 0. 1.19
time (sec) N/A 0.153 0.241 0.174 1.522 0.463 0. 1.49
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 29 43 113 103 0 85
normalized size 1 1. 0.74 1.1 2.9 2.64 0. 2.18
time (sec) N/A 0.107 0.131 0.235 1.525 0.456 0. 1.42
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 155 107 0 675 0 184
normalized size 1 1. 1.74 1.2 0. 7.58 0. 2.07
time (sec) N/A 0.157 0.496 0.194 0. 0.588 0. 1.405
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 183 266 0 857 0 177
normalized size 1 1. 1.5 2.18 0. 7.02 0. 1.45
time (sec) N/A 0.211 1.431 0.21 0. 0.617 0. 1.602
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 306 471 0 1049 0 220
normalized size 1 1. 1.96 3.02 0. 6.72 0. 1.41
time (sec) N/A 0.255 3.019 0.22 0. 0.664 0. 1.585
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 84 85 254 243 0 144
normalized size 1 1. 0.54 0.55 1.64 1.57 0. 0.93
time (sec) N/A 0.317 0.941 0.193 1.726 0.487 0. 4.218
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 68 75 220 193 0 109
normalized size 1 1. 0.55 0.61 1.79 1.57 0. 0.89
time (sec) N/A 0.274 0.397 0.208 1.589 0.471 0. 2.926
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 60 53 149 171 0 84
normalized size 1 1. 0.67 0.6 1.67 1.92 0. 0.94
time (sec) N/A 0.219 0.249 0.207 1.536 0.465 0. 2.229
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 55 53 147 142 0 89
normalized size 1 1. 1.34 1.29 3.59 3.46 0. 2.17
time (sec) N/A 0.1 0.15 0.256 1.526 0.46 0. 1.394
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 259 131 0 864 0 224
normalized size 1 1. 1.88 0.95 0. 6.26 0. 1.62
time (sec) N/A 0.271 2.143 0.219 0. 0.617 0. 1.58
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 365 320 0 948 0 221
normalized size 1 1. 2.16 1.89 0. 5.61 0. 1.31
time (sec) N/A 0.343 1.399 0.233 0. 0.661 0. 1.512
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 434 551 0 1239 0 265
normalized size 1 1. 2.14 2.71 0. 6.1 0. 1.31
time (sec) N/A 0.389 2.381 0.242 0. 0.76 0. 1.644
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 78 85 289 261 0 143
normalized size 1 1. 0.46 0.5 1.71 1.54 0. 0.85
time (sec) N/A 0.402 0.626 0.241 1.497 0.484 0. 6.36
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 74 65 255 250 0 111
normalized size 1 1. 0.55 0.48 1.89 1.85 0. 0.82
time (sec) N/A 0.348 0.344 0.247 1.508 0.472 0. 4.376
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 60 63 220 211 0 81
normalized size 1 1. 0.68 0.72 2.5 2.4 0. 0.92
time (sec) N/A 0.222 0.317 0.237 1.517 0.469 0. 2.858
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 55 55 184 176 0 194
normalized size 1 1. 1.34 1.34 4.49 4.29 0. 4.73
time (sec) N/A 0.102 0.153 0.29 1.492 0.467 0. 1.645
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 225 155 0 1053 0 261
normalized size 1 1. 1.24 0.86 0. 5.82 0. 1.44
time (sec) N/A 0.394 1.58 0.244 0. 0.66 0. 1.616
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 398 370 0 1242 0 257
normalized size 1 1. 1.88 1.75 0. 5.86 0. 1.21
time (sec) N/A 0.477 6.446 0.27 0. 0.697 0. 1.752
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 246 246 468 631 0 1207 0 298
normalized size 1 1. 1.9 2.57 0. 4.91 0. 1.21
time (sec) N/A 0.532 6.639 0.278 0. 0.835 0. 1.89
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 87 82 861 225 0 0
normalized size 1 1. 2.02 1.91 20.02 5.23 0. 0.
time (sec) N/A 0.133 0.464 0.3 1.877 0.473 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 73 72 402 186 0 0
normalized size 1 1. 1.7 1.67 9.35 4.33 0. 0.
time (sec) N/A 0.133 0.301 0.313 1.865 0.465 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 56 62 74 132 0 0
normalized size 1 1. 1.37 1.51 1.8 3.22 0. 0.
time (sec) N/A 0.12 0.163 0.304 1.557 0.466 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 99 136 124 0 0 0
normalized size 1 1. 1.94 2.67 2.43 0. 0. 0.
time (sec) N/A 0.125 0.853 0.309 1.523 0. 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 62 60 694 186 0 0
normalized size 1 1. 1.48 1.43 16.52 4.43 0. 0.
time (sec) N/A 0.139 0.252 0.303 1.834 0.461 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 69 70 1023 254 0 0
normalized size 1 1. 1.6 1.63 23.79 5.91 0. 0.
time (sec) N/A 0.137 0.384 0.293 2.094 0.472 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 108 103 2268 274 0 0
normalized size 1 1. 1.21 1.16 25.48 3.08 0. 0.
time (sec) N/A 0.275 1.071 0.275 1.891 0.49 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 97 93 1492 273 0 0
normalized size 1 1. 1.09 1.04 16.76 3.07 0. 0.
time (sec) N/A 0.276 0.592 0.263 1.859 0.481 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 78 83 743 197 0 0
normalized size 1 1. 0.88 0.93 8.35 2.21 0. 0.
time (sec) N/A 0.274 0.431 0.27 1.848 0.471 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 73 73 76 186 0 0
normalized size 1 1. 1.7 1.7 1.77 4.33 0. 0.
time (sec) N/A 0.13 0.275 0.322 1.531 0.467 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 174 162 371 0 0 0
normalized size 1 1. 1.83 1.71 3.91 0. 0. 0.
time (sec) N/A 0.264 1.448 0.338 1.903 0. 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 134 251 165 0 0 0
normalized size 1 1. 1.35 2.54 1.67 0. 0. 0.
time (sec) N/A 0.275 0.656 0.308 1.595 0. 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 63 73 720 225 0 0
normalized size 1 1. 1.5 1.74 17.14 5.36 0. 0.
time (sec) N/A 0.149 0.492 0.267 1.82 0.471 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 80 83 2105 321 0 0
normalized size 1 1. 0.91 0.94 23.92 3.65 0. 0.
time (sec) N/A 0.301 0.553 0.283 4.423 0.483 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 90 93 3521 383 0 0
normalized size 1 1. 0.98 1.01 38.27 4.16 0. 0.
time (sec) N/A 0.285 0.847 0.283 19.998 0.498 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 100 103 5273 458 0 0
normalized size 1 1. 1.09 1.12 57.32 4.98 0. 0.
time (sec) N/A 0.287 1.238 0.277 109.892 0.505 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 113 105 3313 360 0 0
normalized size 1 1. 0.84 0.78 24.72 2.69 0. 0.
time (sec) N/A 0.421 1.343 0.265 1.96 0.503 0. 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 92 95 2060 251 0 0
normalized size 1 1. 0.69 0.71 15.37 1.87 0. 0.
time (sec) N/A 0.424 0.779 0.26 1.91 0.483 0. 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 96 85 1493 273 0 0
normalized size 1 1. 1.08 0.96 16.78 3.07 0. 0.
time (sec) N/A 0.275 0.599 0.261 1.885 0.48 0. 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 88 75 78 225 0 0
normalized size 1 1. 2.05 1.74 1.81 5.23 0. 0.
time (sec) N/A 0.128 0.463 0.28 1.551 0.469 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 328 189 995 0 0 0
normalized size 1 1. 2.33 1.34 7.06 0. 0. 0.
time (sec) N/A 0.405 6.621 0.319 1.993 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B B F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 188 288 2747 0 0 0
normalized size 1 1. 1.3 1.99 18.94 0. 0. 0.
time (sec) N/A 0.42 1.431 0.277 2.554 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 182 366 228 0 0 0
normalized size 1 1. 1.26 2.52 1.57 0. 0. 0.
time (sec) N/A 0.431 1.33 0.276 1.546 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 76 75 2450 298 0 0
normalized size 1 1. 1.81 1.79 58.33 7.1 0. 0.
time (sec) N/A 0.146 0.551 0.248 1.923 0.481 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 92 85 3671 394 0 0
normalized size 1 1. 1.05 0.97 41.72 4.48 0. 0.
time (sec) N/A 0.298 0.827 0.257 19.682 0.493 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 102 95 5546 471 0 0
normalized size 1 1. 0.77 0.71 41.7 3.54 0. 0.
time (sec) N/A 0.456 1.158 0.264 109.035 0.506 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 141 165 995 0 0 188
normalized size 1 1. 1.01 1.19 7.16 0. 0. 1.35
time (sec) N/A 0.409 1.494 0.315 1.924 0. 0. 3.665
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 173 149 373 0 0 154
normalized size 1 1. 1.84 1.59 3.97 0. 0. 1.64
time (sec) N/A 0.266 1.847 0.303 1.881 0. 0. 2.174
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 140 116 86 0 0 116
normalized size 1 1. 2.8 2.32 1.72 0. 0. 2.32
time (sec) N/A 0.122 0.371 0.303 1.524 0. 0. 1.632
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 94 85 59 487 0 0
normalized size 1 1. 2. 1.81 1.26 10.36 0. 0.
time (sec) N/A 0.135 0.793 0.267 1.835 0.607 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 79 131 548 952 0 0
normalized size 1 1. 0.83 1.38 5.77 10.02 0. 0.
time (sec) N/A 0.28 0.881 0.299 1.929 0.668 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 91 170 1621 1138 0 0
normalized size 1 1. 0.65 1.21 11.58 8.13 0. 0.
time (sec) N/A 0.43 0.84 0.301 2.163 0.692 0. 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 183 235 2747 0 0 188
normalized size 1 1. 1.29 1.65 19.35 0. 0. 1.32
time (sec) N/A 0.424 1.044 0.263 2.515 0. 0. 4.752
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 132 193 134 0 0 123
normalized size 1 1. 1.39 2.03 1.41 0. 0. 1.29
time (sec) N/A 0.278 1.053 0.253 1.532 0. 0. 3.57
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 73 73 186 0 116
normalized size 1 1. 1. 1.74 1.74 4.43 0. 2.76
time (sec) N/A 0.134 0.184 0.284 1.522 0.467 0. 2.672
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 157 123 536 952 0 0
normalized size 1 1. 1.65 1.29 5.64 10.02 0. 0.
time (sec) N/A 0.279 1.403 0.3 1.867 0.665 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 69 133 765 979 0 0
normalized size 1 1. 0.66 1.28 7.36 9.41 0. 0.
time (sec) N/A 0.182 0.772 0.261 1.973 0.695 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 122 211 0 1315 0 0
normalized size 1 1. 0.84 1.45 0. 9.01 0. 0.
time (sec) N/A 0.341 1.505 0.269 0. 0.745 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 178 281 180 0 0 153
normalized size 1 1. 1.23 1.94 1.24 0. 0. 1.06
time (sec) N/A 0.436 1.423 0.261 1.507 0. 0. 7.379
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 68 75 132 225 0 115
normalized size 1 1. 1.62 1.79 3.14 5.36 0. 2.74
time (sec) N/A 0.147 0.284 0.251 1.544 0.475 0. 4.044
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 71 83 78 254 0 117
normalized size 1 1. 1.65 1.93 1.81 5.91 0. 2.72
time (sec) N/A 0.134 0.246 0.29 1.536 0.472 0. 1.919
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 91 164 1608 1138 0 0
normalized size 1 1. 0.65 1.17 11.49 8.13 0. 0.
time (sec) N/A 0.424 1.053 0.3 2.149 0.693 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 130 204 0 1315 0 0
normalized size 1 1. 0.89 1.4 0. 9.01 0. 0.
time (sec) N/A 0.344 1.393 0.265 0. 0.74 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 84 173 2240 1177 0 0
normalized size 1 1. 0.52 1.08 14. 7.36 0. 0.
time (sec) N/A 0.202 1.391 0.277 2.932 0.772 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.12 1.27 0.523 0. 0. 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 89 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.248 0.433 0. 0. 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 85 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.078 0.163 0.366 0. 0. 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 90 90 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.555 0.305 0. 0. 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 92 92 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.115 0.995 0.389 0. 0. 0. 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F A A F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 160 160 0 0 308 435 0 0
normalized size 1 1. 0. 0. 1.92 2.72 0. 0.
time (sec) N/A 0.38 15.778 0.265 1.563 0.52 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F A A F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 100 100 0 0 231 263 0 0
normalized size 1 1. 0. 0. 2.31 2.63 0. 0.
time (sec) N/A 0.222 38.373 0.261 1.561 0.498 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 163 0 154 171 0 0
normalized size 1 1. 3.54 0. 3.35 3.72 0. 0.
time (sec) N/A 0.102 18.772 0.313 1.56 0.474 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 69 69 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.643 0.305 0. 0. 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 74 74 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.139 0.693 0.257 0. 0. 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F(-1) F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 74 74 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.137 2.031 0.255 0. 0. 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 169 169 321 0 211 296 0 0
normalized size 1 1. 1.9 0. 1.25 1.75 0. 0.
time (sec) N/A 0.374 9.026 0.658 1.539 0.513 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 104 104 250 0 144 227 0 0
normalized size 1 1. 2.4 0. 1.38 2.18 0. 0.
time (sec) N/A 0.225 3.142 0.668 1.517 0.503 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 47 47 208 0 84 169 0 0
normalized size 1 1. 4.43 0. 1.79 3.6 0. 0.
time (sec) N/A 0.101 1.146 0.689 1.511 0.495 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 257 0 0 0 0 0
normalized size 1 1. 2.54 0. 0. 0. 0. 0.
time (sec) N/A 0.129 1.45 0.52 0. 0. 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 99 99 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.143 2.287 0.647 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.154 2.777 0.665 0. 0. 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 68 130 232 342 0 207
normalized size 1 1. 0.65 1.24 2.21 3.26 0. 1.97
time (sec) N/A 0.193 0.309 0.027 1.037 0.494 0. 1.225
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 57 107 216 297 0 182
normalized size 1 1. 0.66 1.24 2.51 3.45 0. 2.12
time (sec) N/A 0.156 0.183 0.023 0.991 0.487 0. 1.297
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 36 49 86 53 22
normalized size 1 1. 1. 2.12 2.88 5.06 3.12 1.29
time (sec) N/A 0.071 0.019 0.02 0.977 0.439 6.854 1.268
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 154 104 262 270 0 124
normalized size 1 1. 2.75 1.86 4.68 4.82 0. 2.21
time (sec) N/A 0.108 0.607 0.058 1.024 0.476 0. 1.208
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 335 81 194 323 0 115
normalized size 1 1. 4.79 1.16 2.77 4.61 0. 1.64
time (sec) N/A 0.161 0.451 0.062 0.978 0.477 0. 1.198
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 43 37 155 192 0 53
normalized size 1 1. 0.5 0.43 1.8 2.23 0. 0.62
time (sec) N/A 0.163 0.178 0.071 1.008 0.44 0. 1.254
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 140 140 13374 0 0 0 0 0
normalized size 1 1. 95.53 0. 0. 0. 0. 0.
time (sec) N/A 0.199 55.689 0.695 0. 0. 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 65 65 72 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.34 0.62 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 180 180 3396 0 0 0 0 0
normalized size 1 1. 18.87 0. 0. 0. 0. 0.
time (sec) N/A 0.232 17.365 0.897 0. 0. 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 226 226 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.413 3.118 0.504 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 104 143 162 234 1322 855 0 0
normalized size 1 1.38 1.56 2.25 12.71 8.22 0. 0.
time (sec) N/A 0.278 1.533 0.342 2.068 0.804 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 116 73 204 0 676 0 0
normalized size 1 1.43 0.9 2.52 0. 8.35 0. 0.
time (sec) N/A 0.232 0.474 0.238 0. 0.55 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 140 213 724 317 1769 1229 0 0
normalized size 1 1.52 5.17 2.26 12.64 8.78 0. 0.
time (sec) N/A 0.281 6.455 0.346 2.072 0.647 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 150 236 152 724 818 0 0
normalized size 1 1.29 2.03 1.31 6.24 7.05 0. 0.
time (sec) N/A 0.303 2.944 0.305 1.954 0.51 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 179 242 328 294 1890 1401 0 0
normalized size 1 1.35 1.83 1.64 10.56 7.83 0. 0.
time (sec) N/A 0.358 2.301 0.334 2.139 0.913 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B A B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 94 138 76 613 0 0
normalized size 1 1. 2.04 3. 1.65 13.33 0. 0.
time (sec) N/A 0.255 0.789 0.276 1.887 0.735 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 98 411 0 802 0 0
normalized size 1 1. 1.51 6.32 0. 12.34 0. 0.
time (sec) N/A 0.159 0.26 0.272 0. 1.049 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 153 431 512 687 0 802
normalized size 1 1. 0.65 1.83 2.17 2.91 0. 3.4
time (sec) N/A 0.437 1.8 0.057 0.991 0.541 0. 1.518
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 103 290 359 510 0 539
normalized size 1 1. 0.6 1.7 2.1 2.98 0. 3.15
time (sec) N/A 0.295 0.677 0.049 0.981 0.514 0. 1.629
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 75 174 223 371 0 329
normalized size 1 1. 0.69 1.61 2.06 3.44 0. 3.05
time (sec) N/A 0.165 0.413 0.042 0.965 0.494 0. 1.627
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 75 86 119 247 0 177
normalized size 1 1. 1.34 1.54 2.12 4.41 0. 3.16
time (sec) N/A 0.072 0.03 0.035 0.977 0.481 0. 1.51
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 107 135 0 622 0 178
normalized size 1 1. 1.55 1.96 0. 9.01 0. 2.58
time (sec) N/A 0.144 0.185 0.078 0. 0.642 0. 2.036
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 75 105 0 780 0 193
normalized size 1 1. 0.95 1.33 0. 9.87 0. 2.44
time (sec) N/A 0.139 0.226 0.089 0. 0.509 0. 1.708
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 167 178 0 1604 0 370
normalized size 1 1. 1.27 1.36 0. 12.24 0. 2.82
time (sec) N/A 0.27 1.175 0.102 0. 0.579 0. 1.39
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 247 271 0 2731 0 632
normalized size 1 1. 1.31 1.43 0. 14.45 0. 3.34
time (sec) N/A 0.454 3.189 0.117 0. 0.692 0. 1.504
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 371 460 602 922 884 0 1038
normalized size 1 1.13 1.41 1.84 2.82 2.7 0. 3.17
time (sec) N/A 0.424 2.018 0.075 1.028 0.567 0. 1.454
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 277 326 420 633 667 0 714
normalized size 1 1.14 1.35 1.74 2.62 2.76 0. 2.95
time (sec) N/A 0.343 1.455 0.063 0.988 0.531 0. 1.472
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 234 479 268 437 490 0 452
normalized size 1 1.33 2.72 1.52 2.48 2.78 0. 2.57
time (sec) N/A 0.262 1.001 0.052 1.02 0.511 0. 1.403
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 481 141 225 336 0 252
normalized size 1 1. 4.67 1.37 2.18 3.26 0. 2.45
time (sec) N/A 0.117 6.242 0.041 0.984 0.49 0. 1.433
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A B C B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 208 329 291 0 953 0 274
normalized size 1 2.19 3.46 3.06 0. 10.03 0. 2.88
time (sec) N/A 0.245 1.989 0.081 0. 0.953 0. 1.285
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 231 312 330 0 1289 0 323
normalized size 1 1.97 2.67 2.82 0. 11.02 0. 2.76
time (sec) N/A 0.257 1.475 0.11 0. 0.988 0. 1.383
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 184 249 167 0 1339 0 297
normalized size 1 1.42 1.92 1.28 0. 10.3 0. 2.28
time (sec) N/A 0.197 1.161 0.107 0. 0.562 0. 1.367
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 268 211 228 0 2585 0 567
normalized size 1 1.26 0.99 1.07 0. 12.14 0. 2.66
time (sec) N/A 0.283 4.735 0.128 0. 0.678 0. 1.448
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 330 322 352 0 4093 0 998
normalized size 1 1.2 1.17 1.28 0. 14.83 0. 3.62
time (sec) N/A 0.557 9.697 0.146 0. 0.836 0. 1.601
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 333 380 523 946 791 0 825
normalized size 1 1.16 1.32 1.82 3.28 2.75 0. 2.86
time (sec) N/A 0.427 2.778 0.075 1.015 0.554 0. 1.337
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 273 433 342 620 587 0 532
normalized size 1 1.06 1.68 1.33 2.41 2.28 0. 2.07
time (sec) N/A 0.3 2.554 0.06 1.014 0.517 0. 1.284
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 273 188 354 393 0 301
normalized size 1 1. 2.18 1.5 2.83 3.14 0. 2.41
time (sec) N/A 0.153 1.304 0.047 0.995 0.5 0. 1.205
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 257 419 491 0 1235 0 398
normalized size 1 1.68 2.74 3.21 0. 8.07 0. 2.6
time (sec) N/A 0.325 2.288 0.097 0. 1.522 0. 1.305
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 274 455 548 0 1891 0 444
normalized size 1 1.7 2.83 3.4 0. 11.75 0. 2.76
time (sec) N/A 0.355 4.051 0.107 0. 1.573 0. 1.302
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 301 393 768 0 2534 0 528
normalized size 1 1.6 2.09 4.09 0. 13.48 0. 2.81
time (sec) N/A 0.394 3.378 0.127 0. 1.685 0. 1.36
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 227 398 227 0 2178 0 432
normalized size 1 1.28 2.24 1.28 0. 12.24 0. 2.43
time (sec) N/A 0.223 3.52 0.128 0. 0.643 0. 1.46
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 327 274 303 0 3699 0 845
normalized size 1 1.23 1.03 1.14 0. 13.91 0. 3.18
time (sec) N/A 0.337 9.662 0.156 0. 0.804 0. 1.535
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 236 1243 596 805 693 0 487
normalized size 1 1.29 6.79 3.26 4.4 3.79 0. 2.66
time (sec) N/A 0.335 6.453 0.079 1.029 0.517 0. 1.355
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 171 275 371 524 512 0 311
normalized size 1 1.46 2.35 3.17 4.48 4.38 0. 2.66
time (sec) N/A 0.254 2.522 0.069 1.023 0.5 0. 1.245
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 125 237 196 301 370 0 193
normalized size 1 1.84 3.49 2.88 4.43 5.44 0. 2.84
time (sec) N/A 0.146 1.566 0.051 0.968 0.481 0. 1.296
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 109 78 134 197 0 100
normalized size 1 1. 2.53 1.81 3.12 4.58 0. 2.33
time (sec) N/A 0.085 0.263 0.043 0.987 0.477 0. 1.283
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 134 160 74 0 783 0 154
normalized size 1 1.61 1.93 0.89 0. 9.43 0. 1.86
time (sec) N/A 0.155 0.664 0.065 0. 0.506 0. 1.239
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 196 286 146 0 1497 0 308
normalized size 1 1.35 1.97 1.01 0. 10.32 0. 2.12
time (sec) N/A 0.253 3.35 0.082 0. 0.563 0. 1.301
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 207 268 1422 221 0 2865 0 505
normalized size 1 1.29 6.87 1.07 0. 13.84 0. 2.44
time (sec) N/A 0.4 6.781 0.1 0. 0.692 0. 1.305
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 315 446 766 1042 1037 0 716
normalized size 1 1.22 1.73 2.97 4.04 4.02 0. 2.78
time (sec) N/A 0.438 4.154 0.099 1.042 0.539 0. 1.295
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 249 310 514 724 841 0 508
normalized size 1 1.29 1.61 2.66 3.75 4.36 0. 2.63
time (sec) N/A 0.32 2.832 0.083 1.04 0.519 0. 1.306
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 193 294 316 462 632 0 354
normalized size 1 1.45 2.21 2.38 3.47 4.75 0. 2.66
time (sec) N/A 0.233 1.523 0.064 1.002 0.5 0. 1.232
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 149 181 170 263 383 0 224
normalized size 1 1.67 2.03 1.91 2.96 4.3 0. 2.52
time (sec) N/A 0.154 0.737 0.074 1.006 0.482 0. 1.354
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 76 60 126 144 0 86
normalized size 1 1. 1.17 0.92 1.94 2.22 0. 1.32
time (sec) N/A 0.087 0.21 0.051 0.973 0.436 0. 1.149
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 183 209 122 0 1307 0 348
normalized size 1 1.42 1.62 0.95 0. 10.13 0. 2.7
time (sec) N/A 0.241 1.629 0.07 0. 0.531 0. 1.159
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 260 376 203 0 2631 0 662
normalized size 1 1.23 1.78 0.96 0. 12.47 0. 3.14
time (sec) N/A 0.373 3.911 0.09 0. 0.645 0. 1.26
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 284 346 2220 280 0 4329 0 1048
normalized size 1 1.22 7.82 0.99 0. 15.24 0. 3.69
time (sec) N/A 0.558 7.295 0.105 0. 0.783 0. 1.31
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 363 405 1338 956 1277 1470 0 950
normalized size 1 1.12 3.69 2.63 3.52 4.05 0. 2.62
time (sec) N/A 0.539 6.704 0.119 1.121 0.629 0. 1.478
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 329 439 679 930 1200 0 713
normalized size 1 1.15 1.53 2.37 3.24 4.18 0. 2.48
time (sec) N/A 0.416 2.148 0.104 1.082 0.571 0. 1.304
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 265 292 454 641 910 0 529
normalized size 1 1.29 1.42 2.21 3.13 4.44 0. 2.58
time (sec) N/A 0.28 2.374 0.079 1.053 0.533 0. 1.227
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 193 295 286 414 601 0 367
normalized size 1 1.45 2.22 2.15 3.11 4.52 0. 2.76
time (sec) N/A 0.201 1.484 0.071 1.025 0.508 0. 1.349
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 180 128 248 270 0 185
normalized size 1 1. 1.57 1.11 2.16 2.35 0. 1.61
time (sec) N/A 0.163 0.47 0.064 1.021 0.46 0. 1.245
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 135 64 155 227 0 108
normalized size 1 1. 1.32 0.63 1.52 2.23 0. 1.06
time (sec) N/A 0.115 0.337 0.053 1.015 0.451 0. 1.261
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 235 345 203 0 2187 0 660
normalized size 1 1.3 1.91 1.12 0. 12.08 0. 3.65
time (sec) N/A 0.323 3.146 0.084 0. 0.572 0. 1.189
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 288 325 1772 284 0 3638 0 1284
normalized size 1 1.13 6.15 0.99 0. 12.63 0. 4.46
time (sec) N/A 0.486 7.013 0.104 0. 0.706 0. 1.217
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 368 414 1096 365 0 5948 0 1916
normalized size 1 1.12 2.98 0.99 0. 16.16 0. 5.21
time (sec) N/A 0.706 7.693 0.116 0. 0.895 0. 1.538
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 102 302 0 738 0 0
normalized size 1 1. 1.67 4.95 0. 12.1 0. 0.
time (sec) N/A 0.155 0.227 0.364 0. 0.966 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 187 504 0 2603 0 0
normalized size 1 1. 1.34 3.6 0. 18.59 0. 0.
time (sec) N/A 0.462 16.948 0.366 0. 1.143 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 107 170 0 625 0 0
normalized size 1 1. 1.37 2.18 0. 8.01 0. 0.
time (sec) N/A 0.157 0.218 0.331 0. 0.601 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 171 403 0 2743 0 0
normalized size 1 1. 1.21 2.86 0. 19.45 0. 0.
time (sec) N/A 0.529 0.274 0.345 0. 1.333 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 94 431 0 801 0 0
normalized size 1 1. 1.54 7.07 0. 13.13 0. 0.
time (sec) N/A 0.136 0.226 0.255 0. 1.041 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 427 568 0 2753 0 0
normalized size 1 1. 2.87 3.81 0. 18.48 0. 0.
time (sec) N/A 0.57 1.322 0.379 0. 21.063 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F A F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 122 122 228531 518 0 2403 0 0
normalized size 1 1. 1873.2 4.25 0. 19.7 0. 0.
time (sec) N/A 0.301 33.619 0.238 0. 1.21 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 141 518 0 2543 0 0
normalized size 1 1. 1.14 4.18 0. 20.51 0. 0.
time (sec) N/A 0.368 0.411 0.249 0. 1.51 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 198 473 0 2654 0 0
normalized size 1 1. 1.19 2.83 0. 15.89 0. 0.
time (sec) N/A 0.583 0.394 0.338 0. 2.566 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 155 726 0 0 0 0
normalized size 1 1. 0.67 3.14 0. 0. 0. 0.
time (sec) N/A 0.816 0.391 0.346 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 201 431 512 687 0 1207
normalized size 1 1. 0.8 1.72 2.05 2.75 0. 4.83
time (sec) N/A 0.501 4.429 0.048 1.156 0.616 0. 1.452
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 143 290 359 510 0 833
normalized size 1 1. 0.79 1.61 1.99 2.83 0. 4.63
time (sec) N/A 0.356 1.085 0.04 1.168 0.578 0. 1.257
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 88 174 223 371 0 419
normalized size 1 1. 0.77 1.51 1.94 3.23 0. 3.64
time (sec) N/A 0.185 0.594 0.035 1.026 0.56 0. 1.342
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 75 86 119 247 0 219
normalized size 1 1. 1.23 1.41 1.95 4.05 0. 3.59
time (sec) N/A 0.075 0.027 0.026 1.015 0.535 0. 1.345
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 112 135 0 707 0 178
normalized size 1 1. 1.47 1.78 0. 9.3 0. 2.34
time (sec) N/A 0.129 0.208 0.058 0. 1.959 0. 1.291
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 97 132 0 861 0 242
normalized size 1 1. 0.98 1.33 0. 8.7 0. 2.44
time (sec) N/A 0.144 0.36 0.067 0. 0.53 0. 1.235
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 172 236 0 1631 0 564
normalized size 1 1. 1.04 1.42 0. 9.83 0. 3.4
time (sec) N/A 0.301 0.823 0.079 0. 0.629 0. 1.481
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 405 376 0 2707 0 980
normalized size 1 1. 1.71 1.59 0. 11.42 0. 4.14
time (sec) N/A 0.512 1.036 0.092 0. 0.751 0. 1.431
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 580 1066 0 0 0 848
normalized size 1 1. 2.35 4.32 0. 0. 0. 3.43
time (sec) N/A 0.445 4.346 0.098 0. 0. 0. 1.461
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 389 593 0 1621 0 474
normalized size 1 1. 2.29 3.49 0. 9.54 0. 2.79
time (sec) N/A 0.35 1.406 0.081 0. 85.835 0. 1.342
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 135 288 0 1139 0 273
normalized size 1 1. 1.31 2.8 0. 11.06 0. 2.65
time (sec) N/A 0.297 0.804 0.065 0. 12.732 0. 1.415
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 112 135 0 694 0 178
normalized size 1 1. 1.47 1.78 0. 9.13 0. 2.34
time (sec) N/A 0.127 0.184 0.063 0. 1.532 0. 1.284
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 119 108 0 2214 0 710
normalized size 1 1. 0.98 0.89 0. 18.3 0. 5.87
time (sec) N/A 0.275 0.232 0.083 0. 6.496 0. 1.342
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 229 208 0 0 0 459
normalized size 1 1. 1.22 1.11 0. 0. 0. 2.45
time (sec) N/A 0.612 0.714 0.1 0. 0. 0. 1.47
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 379 379 1137 1870 0 0 0 1197
normalized size 1 1. 3. 4.93 0. 0. 0. 3.16
time (sec) N/A 0.668 6.545 0.145 0. 0. 0. 1.442
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 297 297 511 1249 0 0 0 770
normalized size 1 1. 1.72 4.21 0. 0. 0. 2.59
time (sec) N/A 0.527 3.469 0.118 0. 0. 0. 1.33
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 362 790 0 2800 0 757
normalized size 1 1. 1.59 3.46 0. 12.28 0. 3.32
time (sec) N/A 0.467 1.579 0.092 0. 154.86 0. 1.437
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 180 486 0 1719 0 374
normalized size 1 1. 0.91 2.45 0. 8.68 0. 1.89
time (sec) N/A 0.367 0.669 0.088 0. 21.652 0. 1.441
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 97 132 0 861 0 243
normalized size 1 1. 0.97 1.32 0. 8.61 0. 2.43
time (sec) N/A 0.136 0.362 0.068 0. 0.527 0. 1.297
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 176 210 0 0 0 458
normalized size 1 1. 0.95 1.13 0. 0. 0. 2.46
time (sec) N/A 0.605 1.016 0.105 0. 0. 0. 1.321
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 185 355 0 0 0 0
normalized size 1 1. 0.87 1.67 0. 0. 0. 0.
time (sec) N/A 0.293 3.653 0.33 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 196 196 44216 351 0 0 0 0
normalized size 1 1. 225.59 1.79 0. 0. 0. 0.
time (sec) N/A 0.193 32.473 0.404 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 233 219 0 0 0 0
normalized size 1 1. 1.21 1.14 0. 0. 0. 0.
time (sec) N/A 0.168 3.486 0.389 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 176 177 0 0 0 0
normalized size 1 1. 1.6 1.61 0. 0. 0. 0.
time (sec) N/A 0.124 1.751 0.339 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 176 170 0 0 0 0
normalized size 1 1. 1.41 1.36 0. 0. 0. 0.
time (sec) N/A 0.12 0.445 0.309 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 396 396 39039 291 0 0 0 0
normalized size 1 1. 98.58 0.73 0. 0. 0. 0.
time (sec) N/A 0.611 32.378 0.411 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 223 465 0 0 0 0
normalized size 1 1. 1.31 2.74 0. 0. 0. 0.
time (sec) N/A 0.849 4.028 0.393 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 236 0 0 0 0
normalized size 1 1. 1. 2.84 0. 0. 0. 0.
time (sec) N/A 0.433 0.243 0.355 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 222 479 0 0 0 0
normalized size 1 1. 1.32 2.85 0. 0. 0. 0.
time (sec) N/A 1.07 3.942 0.397 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 264 153 0 0 0 0
normalized size 1 1. 2.78 1.61 0. 0. 0. 0.
time (sec) N/A 0.119 6.329 0.306 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F C F F(-1) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 295 295 0 292 0 0 0 0
normalized size 1 1. 0. 0.99 0. 0. 0. 0.
time (sec) N/A 0.922 18.917 0.355 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 209 209 2173 225 0 0 0 0
normalized size 1 1. 10.4 1.08 0. 0. 0. 0.
time (sec) N/A 0.288 17.722 0.293 0. 0. 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 156 224 0 0 0 0
normalized size 1 1. 0.73 1.05 0. 0. 0. 0.
time (sec) N/A 0.36 5.112 0.312 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 229 229 1019 222 0 0 0 0
normalized size 1 1. 4.45 0.97 0. 0. 0. 0.
time (sec) N/A 0.44 8.382 0.332 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F C F(-1) F(-1) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 312 312 0 355 0 0 0 0
normalized size 1 1. 0. 1.14 0. 0. 0. 0.
time (sec) N/A 0.889 14.601 0.336 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 185 355 0 0 0 0
normalized size 1 1. 0.87 1.67 0. 0. 0. 0.
time (sec) N/A 0.277 0.391 0.343 0. 0. 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 223 465 0 0 0 0
normalized size 1 1. 1.31 2.74 0. 0. 0. 0.
time (sec) N/A 0.843 3.828 0.391 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 189 236 0 0 0 0
normalized size 1 1. 1.85 2.31 0. 0. 0. 0.
time (sec) N/A 0.122 4.318 0.342 0. 0. 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 167 236 0 0 0 0
normalized size 1 1. 0.8 1.13 0. 0. 0. 0.
time (sec) N/A 0.361 3.009 0.339 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 236 0 0 0 0
normalized size 1 1. 1. 2.84 0. 0. 0. 0.
time (sec) N/A 0.424 0.24 0.352 0. 0. 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-1) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 246 344 0 0 0 0
normalized size 1 1. 1.48 2.07 0. 0. 0. 0.
time (sec) N/A 0.856 4.047 0.354 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 151 49 92 309 0 68
normalized size 1 1. 2.25 0.73 1.37 4.61 0. 1.01
time (sec) N/A 0.298 0.915 0.12 1.028 0.665 0. 2.18
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 175 62 119 377 0 86
normalized size 1 1. 1.97 0.7 1.34 4.24 0. 0.97
time (sec) N/A 0.336 1.072 0.135 0.986 0.523 0. 2.266

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [258] had the largest ratio of [ 0.3226 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 12 7 1. 30 0.233
2 A 9 6 1. 30 0.2
3 A 6 5 1. 30 0.167
4 A 3 3 1. 28 0.107
5 A 2 2 1. 30 0.067
6 A 1 1 1. 30 0.033
7 A 2 2 1. 30 0.067
8 A 3 2 1. 30 0.067
9 A 4 2 1. 30 0.067
10 A 14 7 1. 32 0.219
11 A 11 6 1. 32 0.188
12 A 7 5 1. 32 0.156
13 A 4 3 1. 32 0.094
14 A 6 5 1. 30 0.167
15 A 5 5 1. 32 0.156
16 A 3 2 1. 32 0.062
17 A 1 1 1. 32 0.031
18 A 2 2 1. 32 0.062
19 A 3 2 1. 32 0.062
20 A 4 2 1. 32 0.062
21 A 16 7 1. 32 0.219
22 A 13 6 1. 32 0.188
23 A 8 5 1. 32 0.156
24 A 5 3 1. 32 0.094
25 A 7 5 1. 32 0.156
26 A 9 6 1. 30 0.2
27 A 6 6 1. 32 0.188
28 A 6 5 1. 32 0.156
29 A 4 2 1. 32 0.062
30 A 1 1 1. 32 0.031
31 A 2 2 1. 32 0.062
32 A 3 2 1. 32 0.062
33 A 4 2 1. 32 0.062
34 A 10 6 1. 32 0.188
35 A 6 6 1. 32 0.188
36 A 5 5 1. 32 0.156
37 A 2 2 1. 30 0.067
38 A 3 3 1. 32 0.094
39 A 6 4 1. 32 0.125
40 A 10 6 1. 32 0.188
41 A 13 7 1. 32 0.219
42 A 11 6 1. 32 0.188
43 A 7 6 1. 32 0.188
44 A 6 5 1. 32 0.156
45 A 3 2 1. 32 0.062
46 A 1 1 1. 30 0.033
47 A 6 4 1. 32 0.125
48 A 3 2 1. 32 0.062
49 A 7 5 1. 32 0.156
50 A 10 6 1. 32 0.188
51 A 13 7 1. 32 0.219
52 A 12 6 1. 32 0.188
53 A 8 6 1. 32 0.188
54 A 7 5 1. 32 0.156
55 A 4 2 1. 32 0.062
56 A 1 1 1. 32 0.031
57 A 2 2 1. 30 0.067
58 A 10 6 1. 32 0.188
59 A 7 5 1. 32 0.156
60 A 4 3 1. 32 0.094
61 A 7 5 1. 32 0.156
62 A 10 6 1. 32 0.188
63 A 13 7 1. 32 0.219
64 A 4 2 1. 32 0.062
65 A 3 2 1. 32 0.062
66 A 2 2 1. 32 0.062
67 A 1 1 1. 32 0.031
68 A 3 3 1. 32 0.094
69 A 3 3 1. 32 0.094
70 A 4 4 1. 32 0.125
71 A 4 2 1. 34 0.059
72 A 3 2 1. 34 0.059
73 A 2 2 1. 34 0.059
74 A 1 1 1. 34 0.029
75 A 4 3 1.05 34 0.088
76 A 4 4 1.1 34 0.118
77 A 4 3 1.11 34 0.088
78 A 5 4 1. 34 0.118
79 A 4 2 1. 34 0.059
80 A 3 2 1. 34 0.059
81 A 2 2 1. 34 0.059
82 A 1 1 1. 34 0.029
83 A 5 3 1. 34 0.088
84 A 5 4 1. 34 0.118
85 A 5 4 1. 34 0.118
86 A 4 3 1. 34 0.088
87 A 3 3 1. 34 0.088
88 A 2 2 1. 34 0.059
89 A 1 1 1. 34 0.029
90 A 3 3 1. 34 0.088
91 A 4 4 1. 34 0.118
92 A 5 4 1. 34 0.118
93 A 4 3 1. 34 0.088
94 A 3 2 1. 34 0.059
95 A 2 2 1. 34 0.059
96 A 1 1 1. 34 0.029
97 A 4 3 1. 34 0.088
98 A 5 4 1. 34 0.118
99 A 6 4 1. 34 0.118
100 A 4 2 1. 34 0.059
101 A 3 2 1. 34 0.059
102 A 2 2 1. 34 0.059
103 A 1 1 1. 34 0.029
104 A 5 3 1. 34 0.088
105 A 6 4 1. 34 0.118
106 A 7 4 1. 34 0.118
107 A 1 1 1. 36 0.028
108 A 1 1 1. 36 0.028
109 A 1 1 1. 36 0.028
110 A 1 1 1. 36 0.028
111 A 1 1 1. 36 0.028
112 A 1 1 1. 36 0.028
113 A 2 2 1. 36 0.056
114 A 2 2 1. 36 0.056
115 A 2 2 1. 36 0.056
116 A 1 1 1. 36 0.028
117 A 2 2 1. 36 0.056
118 A 2 2 1. 36 0.056
119 A 1 1 1. 36 0.028
120 A 2 2 1. 36 0.056
121 A 2 2 1. 36 0.056
122 A 2 2 1. 36 0.056
123 A 3 2 1. 36 0.056
124 A 3 2 1. 36 0.056
125 A 2 2 1. 36 0.056
126 A 1 1 1. 36 0.028
127 A 3 2 1. 36 0.056
128 A 3 3 1. 36 0.083
129 A 3 2 1. 36 0.056
130 A 1 1 1. 36 0.028
131 A 2 2 1. 36 0.056
132 A 3 2 1. 36 0.056
133 A 3 2 1. 36 0.056
134 A 2 2 1. 36 0.056
135 A 1 1 1. 36 0.028
136 A 2 2 1. 36 0.056
137 A 3 3 1. 36 0.083
138 A 4 3 1. 36 0.083
139 A 3 3 1. 36 0.083
140 A 2 2 1. 36 0.056
141 A 1 1 1. 36 0.028
142 A 3 3 1. 36 0.083
143 A 3 3 1. 36 0.083
144 A 4 4 1. 36 0.111
145 A 3 2 1. 36 0.056
146 A 1 1 1. 36 0.028
147 A 1 1 1. 36 0.028
148 A 4 3 1. 36 0.083
149 A 4 4 1. 36 0.111
150 A 4 3 1. 36 0.083
151 A 3 3 1. 32 0.094
152 A 3 3 1. 32 0.094
153 A 3 3 1. 30 0.1
154 A 3 3 1. 32 0.094
155 A 3 3 1. 32 0.094
156 A 3 2 1. 34 0.059
157 A 2 2 1. 34 0.059
158 A 1 1 1. 34 0.029
159 A 2 2 1. 34 0.059
160 A 2 2 1. 34 0.059
161 A 2 2 1. 34 0.059
162 A 3 2 1. 36 0.056
163 A 2 2 1. 36 0.056
164 A 1 1 1. 36 0.028
165 A 3 3 1. 34 0.088
166 A 3 3 1. 36 0.083
167 A 3 3 1. 36 0.083
168 A 10 7 1. 32 0.219
169 A 7 6 1. 32 0.188
170 A 3 3 1. 30 0.1
171 A 5 5 1. 32 0.156
172 A 4 4 1. 32 0.125
173 A 3 3 1. 32 0.094
174 A 5 3 1. 34 0.088
175 A 2 2 1. 32 0.062
176 A 6 4 1. 34 0.118
177 A 7 4 1. 34 0.118
178 A 5 5 1.38 40 0.125
179 A 4 4 1.43 36 0.111
180 A 8 8 1.52 38 0.21
181 A 4 4 1.29 40 0.1
182 A 8 8 1.35 40 0.2
183 A 3 3 1. 38 0.079
184 A 2 2 1. 34 0.059
185 A 8 6 1. 29 0.207
186 A 7 6 1. 29 0.207
187 A 6 6 1. 29 0.207
188 A 5 5 1. 27 0.185
189 A 5 5 1. 29 0.172
190 A 5 5 1. 29 0.172
191 A 6 5 1. 29 0.172
192 A 7 5 1. 29 0.172
193 A 9 8 1.13 31 0.258
194 A 8 7 1.14 31 0.226
195 A 8 7 1.33 31 0.226
196 A 6 6 1. 29 0.207
197 B 8 8 2.19 31 0.258
198 A 8 8 1.97 31 0.258
199 A 5 4 1.42 31 0.129
200 A 6 5 1.26 31 0.161
201 A 8 6 1.2 31 0.194
202 A 9 7 1.16 31 0.226
203 A 9 7 1.06 31 0.226
204 A 10 6 1. 29 0.207
205 A 9 9 1.68 31 0.29
206 A 9 9 1.7 31 0.29
207 A 9 9 1.6 31 0.29
208 A 6 4 1.28 31 0.129
209 A 7 5 1.23 31 0.161
210 A 7 7 1.29 31 0.226
211 A 6 6 1.46 31 0.194
212 A 6 6 1.84 31 0.194
213 A 3 3 1. 29 0.103
214 A 4 4 1.61 31 0.129
215 A 6 6 1.35 31 0.194
216 A 7 7 1.29 31 0.226
217 A 8 8 1.22 31 0.258
218 A 7 7 1.29 31 0.226
219 A 6 6 1.45 31 0.194
220 A 6 6 1.67 31 0.194
221 A 2 2 1. 29 0.069
222 A 6 6 1.42 31 0.194
223 A 7 6 1.23 31 0.194
224 A 8 7 1.22 31 0.226
225 A 9 8 1.12 31 0.258
226 A 8 7 1.15 31 0.226
227 A 7 7 1.29 31 0.226
228 A 6 6 1.45 31 0.194
229 A 4 4 1. 31 0.129
230 A 3 3 1. 29 0.103
231 A 7 6 1.3 31 0.194
232 A 8 6 1.13 31 0.194
233 A 9 7 1.12 31 0.226
234 A 2 2 1. 35 0.057
235 A 5 5 1. 35 0.143
236 A 2 2 1. 35 0.057
237 A 5 5 1. 37 0.135
238 A 2 2 1. 33 0.061
239 A 5 4 1. 39 0.103
240 A 5 5 1. 33 0.152
241 A 5 5 1. 35 0.143
242 A 5 4 1. 39 0.103
243 A 8 6 1. 39 0.154
244 A 8 6 1. 29 0.207
245 A 7 6 1. 29 0.207
246 A 6 6 1. 29 0.207
247 A 5 5 1. 27 0.185
248 A 5 5 1. 29 0.172
249 A 5 5 1. 29 0.172
250 A 6 5 1. 29 0.172
251 A 7 5 1. 29 0.172
252 A 12 8 1. 31 0.258
253 A 10 8 1. 31 0.258
254 A 8 7 1. 31 0.226
255 A 5 5 1. 29 0.172
256 A 6 4 1. 31 0.129
257 A 7 5 1. 31 0.161
258 A 16 10 1. 31 0.323
259 A 14 10 1. 31 0.323
260 A 12 9 1. 31 0.29
261 A 10 7 1. 31 0.226
262 A 5 5 1. 29 0.172
263 A 7 5 1. 31 0.161
264 A 3 3 1. 33 0.091
265 A 1 1 1. 35 0.029
266 A 1 1 1. 35 0.029
267 A 1 1 1. 35 0.029
268 A 1 1 1. 35 0.029
269 A 3 3 1. 37 0.081
270 A 7 5 1. 39 0.128
271 A 3 3 1. 39 0.077
272 A 8 6 1. 39 0.154
273 A 1 1 1. 33 0.03
274 A 11 11 1. 39 0.282
275 A 3 3 1. 33 0.091
276 A 3 3 1. 35 0.086
277 A 7 7 1. 39 0.18
278 A 11 11 1. 39 0.282
279 A 3 3 1. 33 0.091
280 A 7 5 1. 39 0.128
281 A 1 1 1. 33 0.03
282 A 3 3 1. 35 0.086
283 A 3 3 1. 39 0.077
284 A 7 5 1. 39 0.128
285 A 4 2 1. 28 0.071
286 A 4 2 1. 28 0.071

[next] [prev] [prev-tail] [front] [up]